Computability logic: Giving Caesar what belongs to Caesar

Caesar: Computer Automated Resummations

Global properties of energy-momentum flow in final-states, such as event shapes and jet-resolution thresholds, offer a good compromise between simplicity and sensitivity to the dynamics of QCD. Thanks to the former, it has been possible to make a wide range of theoretical predictions for them, including both fixed-order and resummed perturbative calculations as well as non-perturbative model ca...

Analyzing the Caesar Model

Shall We Kill or Enslave Caesar? Analyzing the Caesar Model When a society overthrows a ruler – call the ruler Caesar – what determines whether Caesar is killed or enslaved? This paper presents a model of killing versus enslaving Caesar, based on a new theory which unifies justice, status, and power. The model pertains to societies which value ordinal goods like bravery, yielding predictions fo...

CAESAR Hardware API

In this paper, we define the CAESAR hardware Application Programming Interface (API) for authenticated ciphers. In particular, our API is intended to meet the requirements of all algorithms submitted to the CAESAR competition. The major parts of our specification include: minimum compliance criteria, interface, communication protocol, and timing characteristics supported by the core. All of the...

Submission to the CAESAR competition AES - COPA

CAESAR models for developmental toxicity

BACKGROUND The new REACH legislation requires assessment of a large number of chemicals in the European market for several endpoints. Developmental toxicity is one of the most difficult endpoints to assess, on account of the complexity, length and costs of experiments. Following the encouragement of QSAR (in silico) methods provided in the REACH itself, the CAESAR project has developed several ...